Experience with PMS-Prolog: a Distributed Coarse-grain-parallel Prolog with Processes, Modules and Streams

PMS-Prolog is an implementation of Prolog designed for distributed systems, and therefore uses coarse-grain parallelism in preference to the fine-grain parallelism of other implementations. Prolog processes are formally defined and interprocess communication is explicit. An overview of PMS-Prolog is provided, followed by an examination of the PMS-Prolog solutions to four problems. These solutions are also compared to other solutions from the literature. From this, the strengths and weaknesses of the PMS-Prolog model can be seen. Avenues for improving the model are then suggested.